Fizikos terminų žodynas : lietuvių, anglų, prancūzų, vokiečių ir rusų kalbomis. – Vilnius : Mokslo ir enciklopedijų leidybos institutas. Vilius Palenskis, Vytautas Valiukėnas, Valerijonas Žalkauskas, Pranas Juozas Žilinskas. 2007.
Unifizierung — Uni|fi|zie|rung 〈f. 20〉 = Unifikation * * * Uni|fi|zie|rung, die; , en (bes. Fachspr.): das Unifizieren; Vereinheitlichung … Universal-Lexikon
Unifizierung — U|ni|fi|zie|rung 〈f.; Gen.: , Pl.: en〉 = Unifikation … Lexikalische Deutsches Wörterbuch
Unifizierung — ⇡ Konsolidierung … Lexikon der Economics
Unifizierung — Uni|fi|zie|rung die; , en <zu ↑...fizierung> Konsolidierung, Vereinheitlichung, Vereinigung (z. B. von Staatsschulden, Anleihen); vgl. ↑...ation/...ierung … Das große Fremdwörterbuch
Unifizierung — Uni|fi|zie|rung (Vereinheitlichung, Vereinigung) … Die deutsche Rechtschreibung
Merkmalsstruktur — Eine Merkmalstruktur ist eine abstrakte hierarchische Struktur, die der Darstellung sprachlicher Eigenschaften und Dependenzen dient. Merkmalstrukturen werden in einigen linguistischen Formalismen verwendet, z. B. in der Head driven Phrase… … Deutsch Wikipedia
Merkmalstruktur — Eine Merkmalstruktur ist eine abstrakte hierarchische Struktur, die der Darstellung sprachlicher Eigenschaften und Dependenzen dient. Merkmalstrukturen werden in einigen linguistischen Formalismen verwendet, z. B. in der Head driven Phrase… … Deutsch Wikipedia
Merkmalstrukturen — Eine Merkmalstruktur ist eine abstrakte hierarchische Struktur, die der Darstellung sprachlicher Eigenschaften und Dependenzen dient. Merkmalstrukturen werden in einigen linguistischen Formalismen verwendet, z. B. in der Head driven Phrase… … Deutsch Wikipedia
Unifikationsgrammatik — Eine Merkmalstruktur ist eine abstrakte hierarchische Struktur, die der Darstellung sprachlicher Eigenschaften und Dependenzen dient. Merkmalstrukturen werden in einigen linguistischen Formalismen verwendet, z. B. in der Head driven Phrase… … Deutsch Wikipedia
Occurs check — Der Occurs check bezeichnet in der Informatik einen Teil des Unifikationsalgorithmus. Er verhindert, dass eine Variable durch einen Term ersetzt wird, der diese Variable enthält. Anwendung findet er bspw. bei der Typprüfung in funktionalen… … Deutsch Wikipedia
